#include <iostream>
int main(){
   unsigned
    int x=(INT32_MAX>>1)+1;
    std::cout<<x*2;
}
